181![UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics](https://www.pdfsearch.io/img/cf98d701efc3d861e7b8076784f60915.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-12-15 09:19:07
|
---|
182![A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK](https://www.pdfsearch.io/img/4126d9905911db8a73c3e488c944e8be.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-09-01 07:28:34
|
---|
183![SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012 SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012](https://www.pdfsearch.io/img/1c7e35d1b769dc3037edcf457c04e3fb.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:20:45
|
---|
184![Learning
and
Explora/on
in
Automated
Theorem
Proving Moa
Johansson
Chalmers
University
of
Technology
Learning
and
Explora/on
in
Automated
Theorem
Proving Moa
Johansson
Chalmers
University
of
Technology](https://www.pdfsearch.io/img/cc22a981951075a78870f58b24df81f7.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2015-09-02 07:29:35
|
---|
185![Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009 Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009](https://www.pdfsearch.io/img/43f8d7d4b5d5ac4e6944a817a9310512.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2010-01-06 11:26:31
|
---|
186![A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t](https://www.pdfsearch.io/img/c63c4b11edb6f6b513cf13ec5f4ac3d4.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2015-07-09 06:40:16
|
---|
187![Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona](https://www.pdfsearch.io/img/543db97f216ab997d4e1b73002cb24c6.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-04-09 17:09:07
|
---|
188![IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?](https://www.pdfsearch.io/img/17efaa7d0a33bc5b6bf4fb405dd86a83.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-03-10 05:42:39
|
---|
189![Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan](https://www.pdfsearch.io/img/bf681eeef3be5b4d37737f9c9c1ef155.jpg) | Add to Reading ListSource URL: stijnheymans.netLanguage: English - Date: 2015-12-05 16:07:35
|
---|